Assessing the Overall Sufficiency of Safety Arguments
نویسندگان
چکیده
Safety cases offer a means for communicating information about the system safety among the system stakeholders. Recently, the requirement for a safety case has been considered by regulators for safety-critical systems. Adopting safety cases is necessarily dependent on the value added for regulatory authorities. In this work, we outline a structured approach for assessing the level of sufficiency of safety arguments. We use the notion of basic probability assignment to provide a measure of sufficiency and insufficiency for each argument node. We use the concept of belief combination to calculate the overall sufficiency and insufficiency of a safety argument based on the sufficiency and insufficiency of its nodes. The application of the proposed approach is illustrated by examples.
منابع مشابه
Recognizing Insufficiently Supported Arguments in Argumentative Essays
In this paper, we propose a new task for assessing the quality of natural language arguments. The premises of a well-reasoned argument should provide enough evidence for accepting or rejecting its claim. Although this criterion, known as sufficiency, is widely adopted in argumentation theory, there are no empirical studies on its applicability to real arguments. In this work, we show that human...
متن کاملA Structured Approach to Selecting and Justifying Software Safety Evidence
The safety assurance of software is ultimately demonstrated by the evidence that is put forward. There is a range of existing guidance on the types of evidence that may be used to demonstrate the safety of software, however questions remain as to the sufficiency of the evidence suggested by such guidance. We propose that the only way to determine the sufficiency of the evidence is to consider i...
متن کاملA Systematic Approach for Developing Software Safety Arguments
It is becoming increasingly common to develop safety arguments (also called assurance arguments) to demonstrate that the software aspects of a system are acceptably safe to operate. A software safety argument enables a compelling justification of the sufficiency of the software to be provided, whilst also giving the software developer flexibility to adopt the development approach that is most a...
متن کاملPsychometric Properties of Physical Well-Being, Health and Motor Development Inventory for Assessing School Readiness
Objectives: The objective of this study was to examine the psychometric properties of the ‘physical well-being, health and motor development inventory’ used to assess school readiness in ordinary and mentally retarded pre-school children. Methods: A descriptive study examining validity was conducted using random sampling. Two hundred students (160 ordinary and 40 mentally retarded children) ...
متن کاملA Pattern to Argue the Compliance of System Safety Requirements Decomposition
Safety case is a structured argument aimed to argue the system is acceptably safe to operate in a specific environment. Safety cases have been successfully used as documentation to support the certification process of safety-critical systems. Safety case patterns have been used to document recurrent safety argumentation solutions that have evolved over time by providing a simple and efficient s...
متن کامل